how to dedicate more ram to minecraft server